hasloc(k;i) == isrcv(k)  destination(lnk(k)) = i 

latex

Definitions	p  q, isrcv(k), b, a = b, destination(l), lnk(k)
FDL editor aliases	hasloc